#include <assert.h>
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>

#include "base/simapi.h"

void* run (void* arg) {
    Sim_Print2("Hello from Processor %d (thread ID: %d).\n", Sim_GetMyId(), (int)pthread_self());
    return NULL;
}

void mainX(int argc, const char** argv, const char** envp) {
    Sim_ParallelFork(run, NULL);
    printf("Done.\n");
}


